
#define DATA_SIZE 200 

int input_data1[DATA_SIZE] = 
{
   41, 454, 833, 335, 564,   1, 187, 989, 749, 365, 350, 572, 132,  64, 949, 153, 584, 216, 805, 140, 
  621, 210,   6, 572, 931, 339, 890, 593, 392, 898, 694, 228, 961,  12, 110, 883, 116, 750, 296, 646, 
  426, 500, 314, 436, 659, 701, 774, 812, 319, 981, 678, 150, 875, 696, 376, 564, 474, 272, 938, 258, 
  539, 647, 569, 509, 203,  88, 280, 703, 759, 669, 606, 375, 511, 551, 657, 936, 195, 592,  81, 569, 
  267, 952, 229, 800, 337, 584, 944, 643, 902, 368, 241, 489, 913, 328, 826, 313, 933, 592, 985, 388, 
  195, 543, 960, 649, 566, 979, 350, 997, 649, 814, 657,  79, 181, 208, 111, 998, 859, 629,  65, 847, 
  288, 704, 349, 997, 141, 253, 905, 715, 886, 430, 264, 415, 576, 538, 979, 700, 761,   4, 241, 494, 
  478, 100, 499, 864, 403, 693, 222, 416, 444, 296, 721, 285, 676, 620, 317,  78, 224, 351, 937, 540, 
  288, 646, 119, 169, 615, 527, 606, 289, 389, 796, 351, 801, 455, 720, 278, 758, 367, 745, 358,  92, 
  584, 989,  62, 271, 985, 853, 403, 788, 346, 531, 517, 222, 559, 461, 908, 241, 775, 358, 255, 332
};

int input_data2[DATA_SIZE] = 
{
  778, 684, 598, 740, 143, 446,  33, 311, 125, 743, 941, 557, 933, 479, 799, 557, 553, 925, 431, 796, 
  648, 357, 952, 891, 287, 666,  19, 514,  49, 557,  86, 870,  95, 853, 441, 440, 587,  61, 614, 678, 
  382, 396, 280,   9, 808,  17, 971, 170, 819, 291, 344, 380, 450, 536, 512, 185, 965, 917, 347, 539, 
  808, 983, 882, 887, 537,  54, 946, 612, 701, 951, 356, 479, 567, 151, 891,   7,  22, 641, 568, 335, 
  665, 730, 423,  95, 434, 728, 158, 280,   2, 395,  84, 688, 247, 911,  49, 476, 435, 815, 792, 729, 
  869, 265, 486, 127, 414, 236, 369, 214, 548, 180, 518,   6, 888, 503, 682, 596, 284, 173, 264, 643, 
  499, 346, 290, 599, 897,  68, 215, 849, 731, 658, 688, 619, 251, 121, 786, 131, 555, 828, 302, 667, 
  528, 433, 544, 487, 322, 753, 947, 125, 287, 626, 824,  14, 304,  10, 788, 403, 733, 106, 959, 703, 
  366, 818, 722, 964, 294, 406, 975, 874, 653, 856, 748,  86,  91,  60, 378, 660, 105, 667, 102, 153, 
  381, 121, 651,  98, 825, 412, 840, 236, 356,  12, 148, 423,  54, 965, 140, 216, 955, 621, 343, 361
};

int verify_data[DATA_SIZE] = 
{
  31898, 310536, 498134, 247900, 80652, 446, 6171, 307579, 93625, 271195, 329350, 318604, 123156, 30656, 758251, 85221, 322952, 199800, 346955, 111440, 
  402408, 74970, 5712, 509652, 267197, 225774, 16910, 304802, 19208, 500186, 59684, 198360, 91295, 10236, 48510, 388520, 68092, 45750, 181744, 437988, 
  162732, 198000, 87920, 3924, 532472, 11917, 751554, 138040, 261261, 285471, 233232, 57000, 393750, 373056, 192512, 104340, 457410, 249424, 325486, 139062, 
  435512, 636001, 501858, 451483, 109011, 4752, 264880, 430236, 532059, 636219, 215736, 179625, 289737, 83201, 585387, 6552, 4290, 379472, 46008, 190615, 
  177555, 694960, 96867, 76000, 146258, 425152, 149152, 180040, 1804, 145360, 20244, 336432, 225511, 298808, 40474, 148988, 405855, 482480, 780120, 282852, 
  169455, 143895, 466560, 82423, 234324, 231044, 129150, 213358, 355652, 146520, 340326, 474, 160728, 104624, 75702, 594808, 243956, 108817, 17160, 544621, 
  143712, 243584, 101210, 597203, 126477, 17204, 194575, 607035, 647666, 282940, 181632, 256885, 144576, 65098, 769494, 91700, 422355, 3312, 72782, 329498, 
  252384, 43300, 271456, 420768, 129766, 521829, 210234, 52000, 127428, 185296, 594104, 3990, 205504, 6200, 249796, 31434, 164192, 37206, 898583, 379620, 
  105408, 528428, 85918, 162916, 180810, 213962, 590850, 252586, 254017, 681376, 262548, 68886, 41405, 43200, 105084, 500280, 38535, 496915, 36516, 14076, 
  222504, 119669, 40362, 26558, 812625, 351436, 338520, 185968, 123176, 6372, 76516, 93906, 30186, 444865, 127120, 52056, 740125, 222318, 87465, 119852
};

